Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
131	Rivista "Informatica e diritto", n. 1-2, Anteprima Haeusler, De Paiva, Rademaker Add to Reading List Source URL: www.ittig.cnr.it Language: English - Date: 2014-03-10 07:55:01 Mathematical constructivism Non-classical logic Philosophy of mathematics Information science Philosophy of law Intuitionism Jurisprudence Intuitionistic logic Ontology Logic Science Mathematical logic
132	Monism: the One True Logic Stephen Read Abstract Logical pluralism is the claim that different accounts of validity can be equally correct. Beall and Restall have recently defended this position. Validity is a matter of Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2015-01-18 12:43:40 Philosophical logic Paraconsistent logic Modal logic Philosophy of mathematics Graham Priest Impossible world Relevance logic Intuitionistic logic Classical logic Logic Mathematical logic Non-classical logic
133	Contents Part I CLASSICAL SENTENTIAL LOGIC Chapter 1: What Is Logic? 3 1. Arguments 3 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1999-07-23 18:09:01 Model theory Non-classical logic Philosophical logic Predicate logic First-order logic Intuitionistic logic Propositional calculus Modal logic Natural deduction Logic Mathematical logic Proof theory
134	T HE R EVIEW OF S YMBOLIC L OGIC Volume 2, Number 2, June 2009 PLURALISM IN LOGIC HARTRY FIELD Philosophy Department, New York University Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2009-08-21 05:52:07 Non-classical logic Philosophy of mathematics Propositional calculus Paraconsistent logic Entailment Intuitionistic logic Relevance logic Intuitionism First-order logic Logic Mathematical logic Philosophical logic
135	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
136	Flexible Querying via Intuitionistic Fuzzy Sets Przemysław Grzegorzewski Systems Research Institute, Polish Academy of Sciences Newelska 6, [removed]Warsaw, Poland Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:23:09 Fuzzy set Membership function Fuzzy control system Intuitionism Fuzzy Sets and Systems Negation Logic Fuzzy logic Mathematical logic
137	Distances and orderings in a family of intuitionistic fuzzy numbers Przemysław Grzegorzewski Systems Research Institute, Polish Academy of Sciences Newelska 6, [removed]Warsaw, Poland [removed] Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:23:09 Mathematics Fuzzy set Membership function Constructible universe Intuitionism Fuzzy number Fuzzy logic Logic Mathematical logic
138	Notes on the Interpretation of Modal and Intuitionistic Logic, 1966 Box 7, Folder 4 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, University of Pitt Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:43:14 Mathematical constructivism Philosophy of mathematics Non-classical logic Philosophical logic Epistemology Intuitionism Intuitionistic logic Kripke semantics Saul Kripke Logic Mathematical logic Mathematics
139	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory
140	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism

UPDATE